Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
321	Microsoft Word - ProceedingsCSCLP_06.doc Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2007-02-26 21:14:19 Computing Constraint satisfaction Constraint logic programming Logic programming Local consistency Constraint Constraint programming Software engineering Computer programming
322	Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2013-01-12 07:47:16 Models of computation Model theory Unified Modeling Language Object Constraint Language Programming language semantics Null Denotational semantics ECO Statistical hypothesis testing Theoretical computer science Logic Mathematical logic
323	International Workshop on Functional and (Constraint) Logic Programming (WFLP[removed]Kiel, Germany, September 13-15, 2001 CALL FOR PAPERS Program Committee Slim Abdennadher Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2001-05-16 04:24:09 Computing Declarative programming Logic programming Constraint programming Deductive database Programming paradigms Software engineering Computer programming
324	A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning Mingmin Chen1 , Shizhuo Yu1 , Nico Franz2 , Shawn Bowers3 , and Bertram Lud¨ascher1 1 Dept. of Computer Science, University of California, Davis, Add to Reading List Source URL: taxonbytes.org Language: English - Date: 2014-07-01 16:19:30 Computing Computer programming Programming paradigms Constraint satisfaction problem Answer set programming Algorithm Association rule learning Datalog Constraint programming Software engineering Logic programming
325	Journal on Satisfiability, Boolean Modeling and Computation[removed]The Sat4j library, release 2.2 system description Daniel Le Berre∗ Anne Parrain Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2010-07-09 05:53:23 Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Solver Satz ECLiPSe Unsatisfiable core Theoretical computer science Applied mathematics Constraint programming
326	Masterclass Modelling with Constraints Part 2: Formulating Abstract Models Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 11:16:36 Matrix Magic square Function Data type Partition Constraint satisfaction Constraint logic programming Mathematics Constraint programming Integer sequences
327	Masterclass Modelling with Constraints Part 1: Introduction Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 10:09:14 Software engineering Constraint satisfaction Mathematical optimization Boolean satisfiability problem Solver Answer set programming Constraint Constraint logic programming AC-3 algorithm Constraint programming Declarative programming Theoretical computer science
328	A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints ∗ Pinar Senkul Michael Kifer Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 02:03:15 Computing Workflow Constraint logic programming Constraint satisfaction problem Constraint satisfaction Resource Constraint programming Software engineering Computer programming
329	IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES, VOL. 3, NO. 3, SEPTEMBER[removed]Answer Set Programming for Procedural Content Generation: A Design Space Approach Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:47 Programming paradigms Logic programming Constraint programming Operations research NP-complete problems Answer set programming Maze Boolean satisfiability problem Solver Software engineering Theoretical computer science Computing

UPDATE